P. Darondeau: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

The synthesis of Petri nets from path-automatic specifications

E. Badouel, Ph. Darondeau

Journal:

Information and Computation

Year:

2004

Language:

english

File:

PDF, 324 KB

english, 2004

2

Naproxen ophthalmic solution to manage inflammation after phacoemulsification

Vincento Papa, Giovanni Milazzo, Marcello Santocono, Valerie Servolle, Philippe Sourdille, Pierre-Yves Santiago, Jacques Darondeau, Nathalie Cassoux, Phuc LeHoang

Journal:

Journal of Cataract & Refractive Surgery

Year:

2002

Language:

english

File:

PDF, 114 KB

english, 2002

3

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets 2005 Volume 3536 || Genetic Process Mining

Ciardo, Gianfranco, Darondeau, Philippe

Year:

2005

Language:

english

File:

PDF, 352 KB

english, 2005

4

On guarded recursion

Eric Badouel, Philippe Darondeau

Journal:

Theoretical Computer Science

Year:

1991

Language:

english

File:

PDF, 676 KB

english, 1991

5

Fairness, distances and degrees

Philippe Darondeau, Doris Nolte, Lutz Priese, Serge Yoccoz

Journal:

Theoretical Computer Science

Year:

1992

Language:

english

File:

PDF, 775 KB

english, 1992

6

Refinement of actions in event structures and causal trees

Philippe Darondeau, Pierpaolo Degano

Journal:

Theoretical Computer Science

Year:

1993

Language:

english

File:

PDF, 1.95 MB

english, 1993

7

Equality of languages coincides with isomorphism of reachable state graphs for bounded and persistent Petri nets

Journal:

Information Processing Letters

Year:

2005

Language:

english

File:

PDF, 103 KB

english, 2005

8

Linear control of live marked graphs

Ph. Darondeau, X. Xie

Journal:

Year:

2003

Language:

english

File:

PDF, 234 KB

english, 2003

9

On the Petri net realization of context-free graphs

Philippe Darondeau

Journal:

Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 265 KB

english, 2001

10

The synthesis problem for elementary net systems is NP-complete

Eric Badouel, Luca Bernardinello, Philippe Darondeau

Journal:

Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 1.84 MB

english, 1997

11

Types in a mixed language system

Ph. Darondeau, P. Le Guernic, M. Raynal

Journal:

BIT Numerical Mathematics

Year:

1981

Language:

english

File:

PDF, 452 KB

english, 1981

12

Distributing Finite Automata Through Petri Net Synthesis

Éric Badouel, Benoît Caillaud, P. Darondeau

Journal:

Formal Aspects of Computing

Year:

2002

Language:

english

File:

PDF, 315 KB

english, 2002

13

A decomposition theorem for finite persistent transition systems

Eike Best, Philippe Darondeau

Journal:

Acta Informatica

Year:

2009

Language:

english

File:

PDF, 448 KB

english, 2009

14

Foreword

René Boel, Philippe Darondeau, Sadatoshi Kumagai

Journal:

Discrete Event Dynamic Systems

Year:

2005

Language:

english

File:

PDF, 82 KB

english, 2005

15

Concurrent Secrets

E. Badouel, M. Bednarczyk, A. Borzyszkowski, B. Caillaud, P. Darondeau

Journal:

Discrete Event Dynamic Systems

Year:

2007

Language:

english

File:

PDF, 594 KB

english, 2007

16

About fair asynchrony

Philippe Darondeau

Journal:

Theoretical Computer Science

Year:

1985

Language:

english

File:

PDF, 1.87 MB

english, 1985

17

Context-Free Event Domains Are Recognizable

Eric Badouel, Philippe Darondeau, Jean-Claude Raoult

Journal:

Information and Computation

Year:

1999

Language:

english

File:

PDF, 601 KB

english, 1999

18

Towards a formal proof system for ω-rational expressions

Ph. Darondeau, L. Kott

Journal:

Information Processing Letters

Year:

1984

Language:

english

File:

PDF, 404 KB

english, 1984

19

Bismulation and effectiveness

Journal:

Information Processing Letters

Year:

1989

Language:

english

File:

PDF, 217 KB

english, 1989

20

Proof systems for infinite behaviours

Philippe Darondeau, Serge Yoccoz

Journal:

Information and Computation

Year:

1992

Language:

english

File:

PDF, 751 KB

english, 1992

21

Quasi-static scheduling of communicating tasks

Philippe Darondeau, Blaise Genest, P.S. Thiagarajan, Shaofa Yang

Journal:

Information and Computation

Year:

2010

Language:

english

File:

PDF, 786 KB

english, 2010

22

Examination of sea water collected during the voyage of the bonite, with apparatus invented by M. Biot

Journal:

Journal of the Franklin Institute

Year:

1839

Language:

english

File:

PDF, 175 KB

english, 1839

23

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets 2005 Volume 3536 || The ProM Framework: A New Era in Process Mining Tool Support

Ciardo, Gianfranco, Darondeau, Philippe

Year:

2005

Language:

english

File:

PDF, 291 KB

english, 2005

24

Transition systems without transitions

Andrzej M. Borzyszkowski, Philippe Darondeau

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 288 KB

english, 2005

25

Trace nets and process automata

Eric Badouel, Philippe Darondeau

Journal:

Acta Informatica

Year:

1995

Language:

english

File:

PDF, 1.69 MB

english, 1995

26

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets 2005 Volume 3536 || High-Level Nets with Nets and Rules as Tokens

Ciardo, Gianfranco, Darondeau, Philippe

Year:

2005

Language:

english

File:

PDF, 293 KB

english, 2005

27

[IEEE 44th IEEE Conference on Decision and Control - Seville, Spain (12-15 Dec. 2005)] Proceedings of the 44th IEEE Conference on Decision and Control - Distributed implementations of Ramadge-Wonham supervisory control with Petri nets

Year:

2005

Language:

english

File:

PDF, 148 KB

english, 2005

28

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets 2005 Volume 3536 || Protos 7.0: Simulation Made Accessible

Ciardo, Gianfranco, Darondeau, Philippe

Year:

2005

Language:

english

File:

PDF, 186 KB

english, 2005

29

Enforcing opacity of regular predicates on modal transition systems

Darondeau, Philippe, Marchand, Hervé, Ricker, Laurie

Journal:

Discrete Event Dynamic Systems

Year:

2015

Language:

english

File:

PDF, 1.07 MB

english, 2015

30

[IEEE 2008 9th International Workshop on Discrete Event Systems - Goteborg, Sweden (2008.05.28-2008.05.30)] 2008 9th International Workshop on Discrete Event Systems - Opacity enforcing control synthesis

Dubreil, Jeremy, Darondeau, Philippe, Marchand, Herve

Year:

2008

Language:

english

File:

PDF, 343 KB

english, 2008

31

[IEEE Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) - Bratislava, Slovakia (2007.07.10-2007.07.13)] Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) - Synthesis and Control of Asynchronous and Distributed Systems

Darondeau, Philippe, Darondeau, Philippe, Darondeau, Philippe, Darondeau, Philippe

Year:

2007

Language:

english

File:

PDF, 190 KB

english, 2007

32

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets 2005 Volume 3536 || A Framework to Decompose GSPN Models

Ciardo, Gianfranco, Darondeau, Philippe

Year:

2005

Language:

english

File:

PDF, 312 KB

english, 2005

33

[IEEE 2011 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC 2011) - Orlando, FL, USA (2011.12.12-2011.12.15)] IEEE Conference on Decision and Control and European Control Conference - Residuation of tropical series: Rationality issues

Badouel, Eric, Bouillard, Anne, Darondeau, Philippe, Komenda, Jan

Year:

2011

Language:

english

File:

PDF, 345 KB

english, 2011

34

[IEEE 2006 8th International Workshop on Discrete Event Systems - Ann Arbor, MI, USA (July 10, 2006)] 2006 8th International Workshop on Discrete Event Systems - Concurrent Secrets

Badouel, E., Bednarczyk, M., Borzyszkowski, A., Caillaud, B., Darondeau, P.

Year:

2006

Language:

english

File:

PDF, 244 KB

english, 2006

35

Supervisory Control for Opacity

Dubreil, Jeremy, Darondeau, Philippe, Marchand, Herve

Journal:

IEEE Transactions on Automatic Control

Year:

2010

Language:

english

File:

PDF, 790 KB

english, 2010

36

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets 2005 Volume 3536 || Modeling Dynamic Architectures Using Nets-Within-Nets

Ciardo, Gianfranco, Darondeau, Philippe

Year:

2005

Language:

english

File:

PDF, 503 KB

english, 2005

37

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets 2005 Volume 3536 ||

Ciardo, Gianfranco, Darondeau, Philippe

Year:

2005

Language:

english

File:

PDF, 5.34 MB

english, 2005

38

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets 2005 Volume 3536 || High Level Petri Nets Analysis with Helena

Ciardo, Gianfranco, Darondeau, Philippe

Year:

2005

Language:

english

File:

PDF, 158 KB

english, 2005

39

Synthesis and Control of Discrete Event Systems ||

Caillaud, Benoît, Darondeau, Philippe, Lavagno, Luciano, Xie, Xiaolan

Year:

2002

Language:

english

File:

PDF, 18.82 MB

english, 2002

40

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets 2005 Volume 3536 || Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets

Ciardo, Gianfranco, Darondeau, Philippe

Year:

2005

Language:

english

File:

PDF, 515 KB

english, 2005

41

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets 2005 Volume 3536 || A High Level Language for Structural Relations in Well-Formed Nets

Ciardo, Gianfranco, Darondeau, Philippe

Year:

2005

Language:

english

File:

PDF, 310 KB

english, 2005

42

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets 2005 Volume 3536 || On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets

Ciardo, Gianfranco, Darondeau, Philippe

Year:

2005

Language:

english

File:

PDF, 239 KB

english, 2005

43

Enforcing Opacity of Regular Predicates on Modal Transition Systems

Darondeau, Philippe

Journal:

IFAC Proceedings Volumes

Year:

2012

Language:

english

File:

PDF, 145 KB

english, 2012

44

Slanted vector fields for jet spaces

Darondeau, Lionel

Journal:

Mathematische Zeitschrift

Year:

2016

Language:

english

File:

PDF, 725 KB

english, 2016

45

On the Logarithmic Green–Griffiths Conjecture: Table 1.

Darondeau, Lionel

Journal:

International Mathematics Research Notices

Year:

2016

Language:

english

File:

PDF, 460 KB

english, 2016

46

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets 2005 Volume 3536 || Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control

Ciardo, Gianfranco, Darondeau, Philippe

Year:

2005

Language:

english

File:

PDF, 461 KB

english, 2005

47

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets 2005 Volume 3536 || Can I Execute My Scenario in Your Net?

Ciardo, Gianfranco, Darondeau, Philippe

Year:

2005

Language:

english

File:

PDF, 328 KB

english, 2005

48

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets 2005 Volume 3536 || Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets

Ciardo, Gianfranco, Darondeau, Philippe

Year:

2005

Language:

english

File:

PDF, 292 KB

english, 2005

49

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets 2005 Volume 3536 || Timed-Arc Petri Nets vs. Networks of Timed Automata

Ciardo, Gianfranco, Darondeau, Philippe

Year:

2005

Language:

english

File:

PDF, 272 KB

english, 2005

50

Supervisory Control for Modal Specifications of Services

Darondeau, Philippe, Dubreil, Jérémy, Marchand, Hervé

Journal:

IFAC Proceedings Volumes

Year:

2010

Language:

english

File:

PDF, 293 KB

english, 2010